English translation for "program correctness"

程序的正确性
程序正确性

Related Translations:

correctness:  正确度正确性正确与否准确度准确和正确

semantic correctness:  语义正确性

political correctness:  政治正确

grammatical correctness:  语法规范

probable correctness:  概率正确性

strong correctness:  强正确性

correctness proof:  正确性证明

partial correctness:  部分正确性

correctness argument:  正确性论据

software correctness:  软件正确性

Example Sentences:

1.

This approach can verify program correctness approximately , or generate a set of test cases according to some coverage criterion in software testing 它可以近似地验证程序的正确性，也可以依据软件测试的标准，按某种覆盖度要求生成测试用例。

Similar Words：

"program converter" English translation, "program coordinator" English translation, "program copy" English translation, "program copyright" English translation, "program correction" English translation, "program cost" English translation, "program costs" English translation, "program counter" English translation, "program counter addre ing" English translation, "program counter address" English translation